#!/bin/bash


spin -a example
gcc -o pan pan.c

properties=("mutex_1" "mutex_2" "mutex_3" "mutex_4" "mutex_5" "prop_6" "prop_7")

for prop in "${properties[@]}"
do
   echo "Verifying $prop..."
   ./pan -a -N $prop
   echo "Verification of $prop completed."
done

echo "check the verification report."

spin -p -t example



